Software Certification : Methods and Tools
نویسندگان
چکیده
With the pervasive deployment of software in dependable systems used in everyday life, society is increasingly demanding that software used in critical systems must meet minimum safety, security and reliability standards. Certification is the procedure by which an authorized person or agency assesses and verifies characteristics of a system or product in accordance with established requirements, standards, or regulations. For software, it encompasses traditional notions of verification, but also includes the evidence, tools, methods, and personnel qualifications that are needed to convince the certification authority that the system or product conforms to the relevant standard. Manufacturers of these systems need consistent and effective guidelines as to what constitutes acceptable evidence of software quality, and how to achieve it. Compared to process-oriented certification procedures, recent approaches provide evidence for dependability by the thorough evaluation of the product itself and the adequacy, coverage and maturity of design and quality assurance methods. Substantial progress has been made in areas including safety and assurance cases, the conceptual foundation of evidence and formal methods, and tooling for software design and verification. New approaches are necessary to develop holistic and cost-effective methodologies and to provide integrated tool support for creating certifiable software-intensive systems, as well as product-focused approaches to certifying these systems. Experts from academia and industrial practitioners met in the Dagstuhl Seminar 13051 “Software Certification: Methods and Tools” to discuss and software certification challenges, best practices, and the latest advances in certification technologies in several different software-intensive domains (automotive, aircraft, medical, nuclear, and rail). Seminar 27. January to 01. February, 2013 – www.dagstuhl.de/13051 1998 ACM Subject Classification D.2.0 Software Engineering / General, D.2.4 Software/Program Verification, D.2.9 Management / Software Quality Assurance, I.6.4 Model Validation and Analysis, K.4.1 Public Policy Issues / Human Safety, K.5.2 Governmental Issues / regulation, K.6.3 Software Management / Software Process
منابع مشابه
Qualification of Formal Methods Tools
Formal methods tools have been shown to be effective at finding defects in and verifying the correctness of safety-critical systems, many of which require some form of certification. However, there are still many issues that must be addressed before formal verification tools can be used as part of the certification of safety-critical systems. For example, most developers of avionics systems are...
متن کاملGuidelines for Software Tool Qualification
Contents Software Productivity Consortium (Consortium) members applying the tools for both the requirement and design model-driven verification and validation are often required to certify their software with various certification authorities such as the Federal Aviation Administration (FAA) and Food and Drug Administration (FDA). These certifications require methods and supporting artifacts fo...
متن کاملSoftware Certification and Software Certificate Management Systems
Software certification demonstrates the reliability and safety of software systems in such a way that it can be checked by an independent authority with minimal trust in the techniques and tools used in the certification process itself. It builds on existing software assurance, validation, and verification techniques but introduces the notion of explicit sojbvare certijicates, which contain all...
متن کاملClosing the Certification Gaps in Adaptive Flight Control Software
Over the last five decades, extensive research has been performed to design and develop adaptive control systems for aerospace systems and other applications where the capability to change controller behavior at different flight conditions is highly desirable. Although adaptive flight control has been partially implemented through the use of gain-scheduled control, truly adaptive control system...
متن کاملDevelopment of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications
Adaptive control technologies that incorporate learning algorithms have been proposed to enable automatic flight control and vehicle recovery, autonomous flight, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. In order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highl...
متن کامل